<?php
/*Redirect to ./shininglore/*/
header("Location: shininglore/");

?>
